Correctness results for on - line robust principal components analysis by Brian

This work studies two interrelated problems online robust PCA (RPCA) and online lowrank matrix completion (MC). In recent work by Candès et al., RPCA has been defined as a problem of separating a low-rank matrix (true data), L := [`1, `2, . . . `t, . . . , `tmax ] and a sparse matrix (outliers), S := [x1, x2, . . . xt, . . . , xtmax ] from their sum, M := L + S. Our work uses this definition of RPCA. An important application where both these problems occur is in video analytics in trying to separate sparse foregrounds (e.g., moving objects) and slowly changing backgrounds. While there has been a large amount of recent work on both developing and analyzing batch RPCA and batch MC algorithms, the online problem is largely open. In this work, we develop a practical modification of our recently proposed algorithm to solve both the online RPCA and online MC problems. The main contribution of this work is that we obtain correctness results for the proposed algorithms under mild assumptions. The assumptions that we need are: (a) a good estimate of the initial subspace is available (easy to obtain using a short sequence of background-only frames in video surveillance); (b) the `t’s obey a ‘slow subspace change’ assumption; (c) the basis vectors for the subspace from which `t is generated are dense (nonsparse); (d) the support of xt changes by at least a certain amount at least every so often; and (e) algorithm parameters are appropriately set.